-
1 existential class
Большой англо-русский и русско-английский словарь > existential class
-
2 existential class
Математика: экзистенциальный класс -
3 existential class
-
4 positive existential class
Математика: позитивно экзистенциальный классУниверсальный англо-русский словарь > positive existential class
-
5 universally existential class
Математика: универсально экзистенциональный классУниверсальный англо-русский словарь > universally existential class
-
6 positive existential class
English-Russian scientific dictionary > positive existential class
-
7 universally existential class
English-Russian scientific dictionary > universally existential class
-
8 class
1) класс; разряд; категория || классифицировать2) качество; сорт3) класс, группа ( в учебном заведении)4) курс лекций, курс обучения• -
9 экзистенциальный класс
Большой англо-русский и русско-английский словарь > экзистенциальный класс
-
10 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
11 interpretation
интерпретация, истолкование, разъяснение, трактовкаrelatively complete interpretation — относительно полная [адекватная] интерпретация
-
12 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
См. также в других словарях:
Existential therapy — Existential psychotherapy is partly based on the existential belief that human beings are alone in the world. fact|date=September 2008 This aloneness leads to feelings of meaninglessness which can be overcome only by creating one s own values and … Wikipedia
Existential fallacy — The existential fallacy, or existential instantiation, is a logical fallacy committed in a categorical syllogism that is invalid because it has two universal premises and a particular conclusion. In other words, for the conclusion to be true, at… … Wikipedia
Determiner (class) — ExamplesSidebar|35% * The lady is a tramp. * Some girls get all the luck. * Which book is that? * That book is my book. * I only had two drinks.A determiner is a noun modifier that expresses the reference of a noun or noun phrase, including… … Wikipedia
literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… … Universalium
HEBREW LITERATURE, MODERN — definition and scope beginnings periodization … Encyclopedia of Judaism
Existence (Philosophy of) 3 — Philosophy of existence 3 Merleau Ponty Bernard Cullen à Henri Godin LIFE AND WORKS Maurice Merleau Ponty was born on 14 March 1908 into a petty bourgeois Catholic family in Rochefort sur Mer on the west coast of France. When he died suddenly, at … History of philosophy
mental disorder — Any illness with a psychological origin, manifested either in symptoms of emotional distress or in abnormal behaviour. Most mental disorders can be broadly classified as either psychoses or neuroses (see neurosis; psychosis). Psychoses (e.g.,… … Universalium
Alternating Turing machine — In computational complexity theory, an alternating Turing machine (ATM) is a non deterministic Turing machine (NTM) with a rule for accepting computations that generalizes the rules used in the definition of the complexity classes NP and co NP.… … Wikipedia
Continental philosophy — Collective term for the many distinct philospohical traditions, methods, and styles that predominated on the European continent (particularly in France and Germany) from the time of Immanuel Kant. It is usually understood in contrast with… … Universalium
Copula (linguistics) — To be redirects here. For the song, see To Be. For to be, or not to be , see To be, or not to be. In linguistics, a copula (plural: copulae or copulas) is a word used to link the subject of a sentence with a predicate (a subject complement). The… … Wikipedia
Modern Standard Tibetan grammar — Tibetan grammar describes the morphology, syntax and other grammatical features of the Tibetan language, the language and dialects of the Tibetan people spoken across a wide area of eastern Central Asia. Generally considered a member of the… … Wikipedia
